Computer languages - PDFSEARCH.IO - Document Search Engine

Computer languages
Results: 15814

#	Item
961	ESV4Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3; Part 1: TTCN-3 Core Language Add to Reading List Source URL: www.etsi.org Language: English - Date: 2015-06-01 09:05:08 Data types C++ Type theory Computer languages Procedural programming languages TTCN-3 TTCN Type system Subtype polymorphism Software engineering Computing Computer programming
962	Compiler Copyright © Ericsson AB. All Rights Reserved. Compiler 6.0 June 23, 2015 Copyright © Ericsson AB. All Rights Reserved. Add to Reading List Source URL: www.erlang.org Language: English Procedural programming languages Functional languages Cross-platform software Compiler construction Perl Perl module Pascal Objective-C Erlang Software engineering Computing Computer programming
963	Used Software by R. P. Gabriel Lucid, Inc. 1. A Story The student looked out the window and wondered how to speed up his program. He Add to Reading List Source URL: www.dreamsongs.com Language: English - Date: 2012-08-04 15:59:56 Programming paradigms Functional languages Procedural programming languages Lisp programming language Cross-platform software Lisp Programming language Object-oriented programming Computer program Computing Software engineering Computer programming
964	Optimal Stack Slot Assignment in GCC Naveen Sharma Sanjiv Kumar Gupta System Software Group Add to Reading List Source URL: gcc.cybermirror.org Language: English - Date: 2004-08-29 18:00:00 Assembly languages Subroutines Stack Pointer GNU Compiler Collection Addressing mode Processor register Register allocation C Computing Software engineering Computer programming
965	THE MITRE CORPORATION The TAXII Content Binding Reference Version 3 Mark Davidson, Charles Schmidt Add to Reading List Source URL: taxii.mitre.org Language: English - Date: 2014-06-02 10:35:27 Technical communication Computer file formats Open formats Web services XML OASIS HTML S/MIME MIME Computing OSI protocols Markup languages
966	Hasochism The Pleasure and Pain of Dependently Typed Haskell Programming Sam Lindley Conor McBride Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-07-26 13:01:51 Functional languages Type theory Procedural programming languages Functional programming Data types Agda Standard ML Type class Map Software engineering Computing Computer programming
967	SCALE Newsletter Computational Physics and Engineering Division Nuclear Engineering Applications Section Oak Ridge National Laboratory SCALE Web Site: http://www.cad.ornl.gov/scale SCALE Electronic Notebook: http://www-r Add to Reading List Source URL: scale.ornl.gov Language: English - Date: 2000-01-05 13:06:44 Procedural programming languages Monte Carlo software Keno Fortran C Computing Software engineering Computer programming
968	Regular Path Queries on Graphs with Data ∗ Leonid Libkin Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2011-07-28 06:32:11 Mathematics Combinatorics Regular expression Regular language FO Star height Cycle rank Formal languages Automata theory Theoretical computer science
969	Syntax, Parsing and Production of Natural Language in a Framework of Information Compression by Multiple Alignment, Unification and Search∗ J Gerard Wolff (University of Wales, Bangor, UK Add to Reading List Source URL: www.cognitionresearch.org Language: English - Date: 2012-01-09 18:21:58 Computing Parsing Formal grammar Syntax Pattern matching Sequence alignment CYK algorithm Formal languages Software engineering Computer programming
970	Microsoft Word - ISWC2010challenge2 Add to Reading List Source URL: challenge.semanticweb.org Language: English - Date: 2012-03-09 04:50:09 Semantic Web Data Computer languages Query languages Web services SPARQL RDF Schema Triplestore RDF query language Computing Data management RDF

UPDATE